-
1 existential statement
Большой англо-русский и русско-английский словарь > existential statement
-
2 existential statement
Математика: экзистенциальное высказывание -
3 existential statement
English-Russian scientific dictionary > existential statement
-
4 existential statement
Англо-русский словарь по исследованиям и ноу-хау > existential statement
-
5 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
-
6 экзистенциальное высказывание
Большой англо-русский и русско-английский словарь > экзистенциальное высказывание
-
7 hypothesis
1) гипотеза2) допущение; предположение3) постулат•hypothesis states that — гипотеза утверждает, что
- concurrent hypothesis - empirically testable hypothesis - incompletely confirmable hypothesis - indirectly testable hypothesis - multiple hypothesis - multivariate hypothesisto make a hypothesis — строить гипотезу; выдвигать гипотезу
-
8 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule
См. также в других словарях:
Existential quantification — In predicate logic, an existential quantification is the predication [The term predication in grammar means the predicate of a sentence which refers to subject and is an adverb or adjective, or equivalent, that describes an attribute of the… … Wikipedia
The Existential Negation Campaign — was a former project of the now defunct Flat Earth Society website (http://www.flat earth.org). The Campaign was an absurdist venture. Visitors to the website could download an image that read, WARNING: THIS OBJECT DOES NOT EXIST and were… … Wikipedia
Falsifiability — Are all swans white? Falsifiability or refutability of an assertion, hypothesis or theory is the logical possibility that it can be contradicted by an observation or the outcome of a physical experiment. That something is falsifiable does not… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Existence theorem — In mathematics, an existence theorem is a theorem with a statement beginning there exist(s) .. , or more generally for all x, y, ... there exist(s) ... . That is, in more formal terms of symbolic logic, it is a theorem with a statement involving… … Wikipedia
David Kaplan (philosopher) — For other people of the same name, see David Kaplan (disambiguation). David Benjamin Kaplan (born 1933) is an American philosopher and logician teaching at UCLA. His philosophical work focuses on logic, philosophical logic, modality, philosophy… … Wikipedia
predication — See predicate. * * * ▪ logic in logic, the attributing of characteristics to a subject to produce a meaningful statement combining verbal and nominal elements. Thus, a characteristic such as “warm” (conventionally symbolized by a capital… … Universalium
Gödel numbering for sequences — A Gödel numbering for sequences provides us an effective way to represent each finite sequence of natural numbers as a single natural number. Of course, the embedding is surely possible set theoretically, but the emphasis is on the effectiveness… … Wikipedia
Empty domain — In first order logic the empty domain is the empty set having no members. In traditional and classical logic domains are restrictedly non empty in order that certain theorems be valid. Interpretations with an empty domain are shown to be a… … Wikipedia
Post's theorem — In computability theory Post s theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees. Background The statement of Post s theorem requires several concepts relating to definability and… … Wikipedia
Semantic theory of truth — A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.[1] Contents 1 Origin 2 Tarski s Theory 3 See also … Wikipedia